1. Algebraic and logic programming :
پدیدآورنده : Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
2. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
3. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
4. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده : H. Kirchner, W. Wechler, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
5. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده : H. Kirchner, G. Levi, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
6. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
7. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
8. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
9. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده : Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
10. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده : Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
11. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
12. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
13. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
14. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
15. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
16. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
17. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
18. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
19. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
